1. Achieving quality software :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer software -- Quality control.,Software engineering.

2. Advances in Design and Specification Languages for Embedded Systems

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Computer hardware description languages -- Congresses,Embedded computer systems -- Congresses,سیستم‌های کامپیوتری درونه‌ای -- کنگره ها

رده :
E-Book
,

3. Advances in computers.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computers.,Electronic data processing.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Electronic data processing.

رده :
QA76
.
A3eb
vol
.
4

4. Advances in computers.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science.,Computers.,Electronic data processing.,ARCHITECTURE (COMPUTERS),COMPUTER INFORMATION SECURITY.,COMPUTER NETWORKS.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,COMPUTERS.,DATA PROCESSING.,DESIGN ANALYSIS.,Electronic data processing.,MAN-COMPUTER INTERFACE.,PROTOCOL (COMPUTERS),U.S.S.R., 7

رده :
QA76
.
A3eb
vol
.
29

5. Advances in design and specification languages for embedded systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer hardware description languages, Congresses.,Embedded computer systems, Congresses.

6. An introduction to the planning domain definition language /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Artificial intelligence.,Computational complexity.,Artificial intelligence.,Computational complexity.,COMPUTERS / Computer Literacy.,COMPUTERS / Computer Science.,COMPUTERS / Data Processing.,COMPUTERS / Hardware / General.,COMPUTERS / Information Technology.,COMPUTERS / Machine Theory.,COMPUTERS / Reference.

رده :
Q335
.
H37
2019

7. Analog VHDL

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع : ، Linear integrated circuits-computer simulation,، VHDL )computer hardware description languages(

8. Analog and Mixed-Signal Hardware Description Language

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Computer hardware.,Computer science.

9. C Compilers for ASIPs

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Compilers (Computer programs),Computer hardware description languages.,Compilateurs (Logiciels),کامپایلر‌ها (برنامه‌ کامپیوتر)

رده :
E-Book
,

10. C compilers for ASIPS: <automatic complier generation with LISA>

پدیدآورنده :

کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)

موضوع : Compilers (Computer programs),Computer hardware description languages,Computer Science / IT

رده :
005
.
453
H717C
2010

11. C compilers for ASIPs

پدیدآورنده :

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع : Compilers (Computer programs),Computer hardware description languages

رده :
QA
،
76
.
76
،.
C65
,
H62
،
2010

12. C compilers for ASIPs

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Compilers (Computer programs) ; Computer hardware description languages. ;

13. COMPUTER HARDWARE DESCRIPTION LANGUAGES AND THEIR APPLICATIONS

کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)

رده :
TK
,
7888
.
3
,
I24

14. CTL for test information of digital ICs /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer hardware description languages.,Digital integrated circuits-- Testing-- Standards.,Computer hardware description languages.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.

رده :
TK7874
.
65
.
K35
2003eb

15. Communication Protocol Specification and Verification

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer Communication Networks.,Computer engineering.,Computer hardware.,Computer science.,Software engineering.

16. Comprehensive functional verification the complete industry cycle /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer engineering.,Integrated circuits-- Verification.,Computer engineering.,COMPUTERS-- Logic Design.,Integrated circuits-- Verification.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Logic.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- VLSI & ULSI.

رده :
TK7874
.
58
.
W55
2005eb

17. Computer hardware description languages and their applications

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer hardware description languages, Congresses.

18. Computer hardware description languages and their applications: Proceedings of the IFIP TC-10 fifth Interdware Description Languages and Their Applications, Kaiserslautern, F. R. G.,7-9 Deptember 1981

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computer hardware description languages-- Congresses

رده :
TK
7888
.
3
.
I27
1981

19. Descriptional complexity of formal systems :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Formal languages, Congresses,Formal methods (Computer science), Congresses,Machine theory, Congresses

رده :
QA267
.
3
.
D34
2011

20. Design verification with e

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Computer hardware description languages,Integrated circuits- Verification,Integrated circuits- Design and construction

رده :
TK7885
.
7
.
P33
2004